ONOFF
划词翻译
导航
建议反馈
词典App

computability logic中文是什么意思

  • 可计算性逻辑

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

  • 百科解释
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
详细百科解释
  • 推荐英语阅读
computability logic的中文翻译,computability logic是什么意思,怎么用汉语翻译computability logic,computability logic的中文意思,computability logic的中文computability logic in Chinesecomputability logic的中文computability logic怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。

说出您的建议或使用心得